Z-style notation for Probabilities
نویسنده
چکیده
A notation for probabilities is proposed that differs from the traditional, conventional notation by making explicit the domains and bound variables involved. The notation borrows from the Z notation, and lends itself well to calculational manipulations, with a smooth transition back and forth to set and predicate notation.
منابع مشابه
Speci cation of a Program Derivation Editor
In this paper a tool for structuring and manipulating formal program derivations is speci ed using the Z notation A program derivation style based on transitive re lations between programs as found in the re nement calculus is assumed The structuring and manipulation of derivations is based on the notion of re nement diagrams proposed by Back This allows for a style of derivation that is much m...
متن کاملAn Outline Pattern Language for Z: Five Illustrations and Two Tables
We introduce a pattern language for using formal methods in computer system engineering. We focus on the Z notation, but many of the patterns are adaptable to other formal notations, or can be used to help choose a notation, or to decide on a style of formality. As in other pattern languages, we are providing a new presentation of existing practice, to make it accessible to computer systems eng...
متن کاملPii: S0950-7051(99)00004-0
This article considers the utilization of architectural styles in the formal design of knowledge-based systems. The formal model of a style is an approach to systems modeling that allows software developers to understand and prove properties about the system design in terms of its components, connectors, configurations, and constraints. This allows commonality of design to be easily understood ...
متن کاملAnalyzing and Re ning an Architectural Style
Architectural styles have been introduced in 1] in order to classify and analyze software architectures. In that paper, Z was used as a notation to specify and study architectural styles, however some problems remained open concerning speciication and analysis of their behavioral properties. In this paper we use a new operational semantics to describe and analyze an architectural style for dist...
متن کاملBunches of Objects
We describe how to specify object-oriented systems using the bunch notation [5] of predicative programming [6]. We specify class interfaces and definitions, static and dynamic collections of objects, methods, inheritance, and polymorphism, and use the approach in two examples. In the process, we consider limitations with the technique, and contrast it with using the Z style of [4].
متن کامل